upper bound of poset